Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
571	Higher-Order Abstract Syntax∗ Frank Pfenning† Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-01-03 16:03:41 Type theory Lambda calculus Predicate logic Logic programming Higher-order abstract syntax Unification Free variables and bound variables Simply typed lambda calculus Hindley–Milner Mathematics Theoretical computer science Mathematical logic
572	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
573	Multiversal Polymorphic Algebraic Theories — Syntax, Semantics, Translations, and Equational Logic — Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-24 15:15:34 Symbol Model theory Structure Admissible rule Monoid Sigma-algebra Orbifold Programming Computable Functions Mathematics Abstract algebra Mathematical logic
574	This is a preview - click here to buy the full publication INTERNATIONAL Add to Reading List Source URL: webstore.iec.ch Language: English - Date: 2012-03-26 16:50:53 Data Information Computer networking Network architecture OSI model IS-IS Open Systems Interconnection Abstract Syntax Notation One ISO/IEC JTC1 Computing ISO standards OSI protocols
575	ITU-T Rec. X[removed]Information technology - Open Systems Interconnection - Procedures for the operation of OSI Registration Authorities: Generation and registration of Universally Unique Identifiers (UUIDs) and their use as ASN.1 Object ... Add to Reading List Source URL: www.itu.int Language: English - Date: 2006-03-31 07:48:22 Identification Information ISO standards Universal identifiers Universally unique identifier Globally unique identifier Abstract Syntax Notation One X.400 ITU-T OSI protocols Computing Identifiers
576	Method and System for Standardized and Platform Independent Medical Data Information Persistence in Telemedicine M Struck1 , S Pramatarov2 , C Weigand1 Add to Reading List Source URL: www.cinc.org Language: English - Date: 2009-01-06 13:44:43 European Data Format Neurophysiology Neurotechnology Abstract Syntax Notation One Basic Encoding Rules Serialization XML OSI model ISO/IEEE 11073 Computing Computer file formats Electrophysiology
577	Clitic-Agreement Doubling in Yurok Jochen Trommer Abstract Add to Reading List Source URL: www.uni-leipzig.de Language: English - Date: 2007-12-19 08:19:23 Morphonology Syntax Morphology Grammatical number Optimality theory Linguistics Grammar Clitic
578	NETWORKTRAFFICANALYSISATTHE20,000FOOTLEVEL-ORWHERE DIDALLTHISTRAFFICCOMEFROM Add to Reading List Source URL: oss.oetiker.ch Language: English - Date: 1999-02-01 01:47:48 System software Multi Router Traffic Grapher Simple Network Management Protocol IBM Tivoli NetView Abstract Syntax Notation One Network switch Network management Computing Information technology management
579	This is a preview - click here to buy the full publication IEC[removed] Add to Reading List Source URL: webstore.iec.ch Language: English - Date: 2012-03-26 18:26:38 Fieldbus Abstract Syntax Notation One Communications protocol International Electrotechnical Commission Industrial Ethernet Industrial automation RAPIEnet OSI model Technology Data Computing
580	INTERNATIONAL TELECOMMUNICATION UNION ITU-T Add to Reading List Source URL: www.itu.int Language: English - Date: 2001-09-25 08:37:28 Information Evaluation Identifiers Network management Object identifier Directory services Abstract Syntax Notation One Basic Encoding Rules X.400 OSI protocols ISO standards Computing

UPDATE